Equivalence of categories

Results: 209



#Item
41Knowledge representation / Data management / Computing / Software engineering / Equivalence of categories / Spatial database / Geographic information system / Object / Data model / Database management systems / Category theory / Object-oriented programming

Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a

Add to Reading List

Source URL: users.cs.cf.ac.uk

Language: English - Date: 2005-12-09 06:13:23
42Locally compact space / Duality / Logic / Equivalence of categories / Stone duality / Non-classical analysis / Topology / Mathematics / General topology

Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 12:34:48
43Adjoint functors / Functor / Universal property / Limit / Sheaf / Equivalence of categories / Initial and terminal objects / Monad / Complete Heyting algebra / Abstract algebra / Category theory / Mathematics

Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are

Add to Reading List

Source URL: www-lmpa.univ-littoral.fr

Language: English - Date: 2009-12-14 11:58:39
44Homotopy theory / Homological algebra / Fiber bundles / K-theory / Assembly map / Homotopy / Universal bundle / Equivalence of categories / Derived category / Abstract algebra / Topology / Algebraic topology

How analysis and topology interact in bivariant K-theory Ralf Meyer VASBI ICM Satellite Conference on K-theory and Noncommutative Geometry

Add to Reading List

Source URL: mate.dm.uba.ar

Language: English - Date: 2006-09-11 06:47:49
45Homotopy theory / Sheaf theory / Higher category theory / General topology / Grothendieck topology / Epimorphism / Category / Model category / Equivalence of categories / Category theory / Abstract algebra / Topology

Theory and Applications of Categories, Vol. 26, No. 29, 2012, pp. 788–829. INTERNAL CATEGORIES, ANAFUNCTORS AND LOCALISATIONS In memory of Luanne PalmerDAVID MICHAEL ROBERTS Abstract.

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2014-12-12 13:58:10
46Topology / Adjoint functors / Functor / Equivalence relation / Equivalence of categories / Fibration / Subobject / Natural transformation / Regular category / Category theory / Abstract algebra / Mathematics

A CHARACTERISATION OF THE “SMITH IS HUQ” CONDITION IN THE POINTED MAL’TSEV SETTING dedicated to René Guitart on the occasion of his sixty-fifth birthday by Dominique BOURN, Nelson MARTINS-FERREIRA and Tim VAN DER

Add to Reading List

Source URL: perso.uclouvain.be

Language: English - Date: 2013-10-15 06:14:02
47Functors / Monad / Kleisli category / Limit / Universal property / Natural transformation / Equivalence of categories / Enriched category / Cartesian closed category / Category theory / Adjoint functors / Monoidal categories

BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1998-10-06 07:03:41
48Category theory / Structure / Order theory / Space / Reflective subcategory / Equivalence of categories / Category of topological spaces / Duality / Complete Heyting algebra / Mathematics / Adjoint functors / Abstract algebra

Sergejs Solovjovs Masaryk University Localification procedure for affine systems In 1989, S. Vickers introduced the notion of topological system as a common framework for both topological spaces and the underlying algebr

Add to Reading List

Source URL: web.science.mq.edu.au

Language: English - Date: 2013-06-21 05:36:38
49Combinatorics / Equivalence of categories / Category / Enumeration / Graph theory / Mathematics / Adjoint functors / Enumerative combinatorics

Generating Combinatorial Objects without Isomorphs Brendan D. McKay Department of Computer Science Australian National University Canberra, ACT, 0200

Add to Reading List

Source URL: www.math.sinica.edu.tw

Language: English - Date: 2003-10-08 02:41:27
50Category / Morphism / Adjoint functors / Equivalence of categories / Limit / Sheaf / Product / Natural transformation / Functor / Category theory / Abstract algebra / Mathematics

A Gentle Introduction to Category Theory — the calculational approach — Maarten M. Fokkinga

Add to Reading List

Source URL: doc.utwente.nl

Language: English - Date: 2011-08-28 13:02:53
UPDATE